// Go作者版权所有。版权所有。
// 此源代码的使用受BSD样式的约束
// 可以在许可证文件中找到的许可证。

package types

import (
	"cmd/compile/internal/base"
	"cmd/internal/src"
)

// 声明堆栈和操作

var blockgen int32 = 1 // 最大块数
var Block int32 = 1    // 当前区块编号

// dsym存储符号的阴影声明，以便
// 在块作用域结束后恢复。
type dsym struct {
	sym        *Sym // sym==nil表示堆栈标记
	def        Object
	block      int32
	lastlineno src.XPos // 诊断的最后声明
}

// dclstack维护一组阴影符号声明，以便
// 当块作用域结束时，Popdcl可以恢复它们的声明。
var dclstack []dsym

// Pushdcl推送符号s（如果有）的当前声明，以便
// 它可以被嵌套块范围内的新声明隐藏。
func Pushdcl(s *Sym) {
	dclstack = append(dclstack, dsym{
		sym:        s,
		def:        s.Def,
		block:      s.Block,
		lastlineno: s.Lastlineno,
	})
}

// Popdcl弹出最里面的块范围并恢复所有符号声明
// 恢复到以前的状态。
func Popdcl() {
	for i := len(dclstack); i > 0; i-- {
		d := &dclstack[i-1]
		s := d.sym
		if s == nil {
			// 弹出堆栈标记
			Block = d.block
			dclstack = dclstack[:i-1]
			return
		}

		s.Def = d.def
		s.Block = d.block
		s.Lastlineno = d.lastlineno

		// 清除无效指针字段。
		d.sym = nil
		d.def = nil
	}
	base.Fatalf("popdcl: no stack mark")
}

// Markdcl记录声明的新块范围的开始。
func Markdcl() {
	dclstack = append(dclstack, dsym{
		sym:   nil, // 堆叠标记
		block: Block,
	})
	blockgen++
	Block = blockgen
}

func isDclstackValid() bool {
	for _, d := range dclstack {
		if d.sym == nil {
			return false
		}
	}
	return true
}

// PkgDef返回与包作用域中的s关联的定义。
func (s *Sym) PkgDef() Object {
	return *s.pkgDefPtr()
}

// SetPkgDef在包范围内设置与s关联的定义。
func (s *Sym) SetPkgDef(n Object) {
	*s.pkgDefPtr() = n
}

func (s *Sym) pkgDefPtr() *Object {
	// 查找最外层保存的声明，该声明必须是
	// 包范围定义（如果存在）。
	for i := range dclstack {
		d := &dclstack[i]
		if s == d.sym {
			return &d.def
		}
	}

	// 否则，声明就不会在一段时间内被隐藏
	// 功能范围。
	return &s.Def
}

func CheckDclstack() {
	if !isDclstackValid() {
		base.Fatalf("mark left on the dclstack")
	}
}
